Stable model semantics - PDFSEARCH.IO - Document Search Engine

Stable model semantics
Results: 102

#	Item
21	Textual Inference by Combining Multiple Logic Programming Paradigms Chitta Baral Gregory Gelfond Michael Gelfond Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:19 Science Reasoning Programming paradigms Constraint programming Non-classical logic Stable model semantics Prolog Inference Negation as failure Logic Logic programming Artificial intelligence
22	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Propositional calculus Logic programming Logical syntax Default logic Well-formed formula Logical connective FO Stable model semantics Logic Mathematical logic Boolean algebra
23	A A Model-theoretic Approach to Belief Change in Answer Set Programming JAMES DELGRANDE, Simon Fraser University TORSTEN SCHAUB, Universit¨at Potsdam HANS TOMPITS and STEFAN WOLTRAN, Technische Universit¨at Wien Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:47:43 Metalogic Model theory Non-classical logic Belief revision Interpretation Stable model semantics Entailment Constructible universe Logical connective Logic Mathematical logic Logic programming
24	What Next for ASP? (A Not-Entirely-Well-Informed Opinion) James Delgrande School of Computing Science Simon Fraser University Burnaby BC, V5A 1S6, Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2010-05-31 18:54:41 Science Non-classical logic Mathematical logic Programming paradigms Knowledge representation Non-monotonic logic Stable model semantics Default logic Knowledge representation and reasoning Logic programming Reasoning Logic
25	Belief Revision of Logic Programs under Answer Set Semantics∗ James Delgrande Torsten Schaub† Hans Tompits and Stefan Woltran Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-09-10 12:38:39 Mathematics Propositional calculus Charles Sanders Peirce Model theory Answer set programming If and only if Forcing Stable model semantics Belief revision Logic Mathematical logic Logic programming
26	В издательстве «Физматлит» в 2004 г Add to Reading List Source URL: raai.org Language: English - Date: 2004-01-22 06:29:02 Non-classical logic Logic programming Philosophical logic Default logic Autoepistemic logic First-order logic Prolog Stable model semantics Non-monotonic logic Logic Mathematical logic Reasoning
27	Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs Benjamin Grosof Terrance Swift Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2013-04-09 22:34:32 Predicate logic Logic programming Lambda calculus Stable model semantics Atomic formula Fixed-point combinator Term algebra Ground expression Forcing Mathematical logic Mathematics Logic
28	A Software Stability Model Pattern Ahmed Mahdy and Mohamed E. Fayad Computer Science and Engineering Dept. University of Nebraska-Lincoln Lincoln, NE 68588, USA Add to Reading List Source URL: www.hillside.net Language: English - Date: 2004-02-16 17:18:38 Stability Computer architecture Ethology IOS Bos Conceptual model Stable model semantics Philosophy of mind Cisco IOS Routers Scientific modelling
29	Discovering Classes of Strongly Equivalent Logic Programs∗ Fangzhen Lin Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2005-05-27 05:14:47 Philosophical logic Logic in computer science Model theory Modal logic First-order logic Stable model semantics Intuitionistic logic Propositional calculus Theorem Logic Mathematical logic Non-classical logic
30	Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs Xiaoping Chen1 , Jianmin Ji1 , and Fangzhen Lin2 1 School of Computer Science and Technology, Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2009-10-30 01:45:08 Mathematics Propositional calculus Boolean algebra Stable model semantics Predicate logic Answer set programming Clause Modal logic Algorithm Logic Mathematical logic Logic programming